Model-Based EIS Performability Analysis
نویسندگان
چکیده
In this paper we propose a methodology for the modelling, verification and performance evaluation of communication components of software for enterprise information systems. The methodology is centered upon model-driven development using a subset of UML 2.0 diagrams. It is supported by the proSPEX model processing tool which offers a simulation-based executable verification environment. The model-based development of communication components of wireless middleware solutions is discussed as a motivational example.
منابع مشابه
Performability analysis of guarded-operation duration: a translation approach for reward model solutions
Performability measures are often defined for analyzing the worth of fault-tolerant systems whose performance is gracefully degradable. Accordingly, performability evaluation is inherently well-suited for application of reward model solution techniques. On the other hand, the complexity of performability evaluation for solving engineering problems may prevent us from utilizing those techniques ...
متن کاملUsing Fault Injection to Evaluate the Performability of Cluster-Based Services
We propose a two-phase methodology for quantifying the performability (performance + availability) of cluster-based Internet services. In the first phase, evaluators use a fault-injection infrastructure to measure the impact of faults on the server’s performance. In the second phase, evaluators use an analytical model to combine an expected fault load with measurements from the first phase to a...
متن کاملA Multiprocessor System with Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performability Study
This paper introduces an analytical method for approximating the performability of a firm realtime system modeled by a multi-server queue. The service discipline in the queue is earliestdeadline- first (EDF), which is an optimal scheduling algorithm. Real-time jobs with exponentially distributed relative deadlines arrive according to a Poisson process. All jobs have deadlines until the end of s...
متن کاملMultiprocessor Performability Analysis
Conclusions Performability models of multiprocessor systems and their evaluation are presented. Two cases in which hierarchical modeling is applied are examined. 1. Models are developed to analyze the behavior of processor arrays of various sizes in the presence of permanent, transient, intermittent, and near-coincident faults. Models can be generated for typical reconfiguration schemes that co...
متن کاملPerformability Analysis Considering Debugging Behaviors for Open Source Solution
A large scale open source solution composed of several open source softwares is now attracting attention as the next-generation software development paradigm because of the cost reduction, quick delivery, and work saving. The testing phase of open source solution means the binding testing and system testing. Generally, it makes no sense to perform the unit testing of open source solution, becau...
متن کامل